EXTRA_DIST = border_opaque.png border_trans.png config.png dialog_bg.png\
	docker.png error.png open.png saveas.png
